Леонова М. А. , Девянин П. Н. «Сравнение способов моделирования механиз мов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2022. №15 C.90-99
Девянин П. Н. , Леонова М. А. «О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2021. №14 C.126-132
Вы можете добавить статью